Précis C++, Cinquième Édition : Les Mécanismes du Contrôle de Copie

Maîtriser le cycle de vie d'un objet C++ revient à maîtriser les mécanismes fondamentaux de son existence au sein du tas et pile. Le contrôle de copie définit la manière dont une classe gère sa durée de vie à travers deux opérations : le constructeur de copie et le opérateur d'affectation par copie.

1. Initialisation vs. Affectation

Initialisation directe (par exemple, string dots(10, '.')) appelle un constructeur directement. Toutefois, initialisation par copie (string s2 = dots) dépend du constructeur de copie. Contrairement à l'initialisation, affectation (trans = accum) écrase un objet existant en utilisant l'opérateur =. Une contrainte essentielle : le paramètre du constructeur de copie doit être une référence (const Foo&); sinon, passer un argument par valeur déclencherait une boucle récursive infinie de rappels de copie.

2. Le Rôle de la Synthèse

Si vous ne définissez pas ces membres, le compilateur fournit des versions synthétisées qui effectuent des copies membre à membre. Attention : bien que suffisantes pour les types simples, elles échouent souvent pour les classes gérant la mémoire dynamique, entraînant des pointeurs pendus ou des double-libérations.

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Why must the first parameter of a copy constructor be a reference type (usually const)?

To allow the compiler to optimize the code into a move operation.

To prevent infinite recursion during parameter initialization.

Because pointers are not allowed in constructor signatures.

To ensure the object is placed on the heap rather than the stack.

QUESTION 2

What is the primary difference between Copy Initialization and Direct Initialization?

Direct initialization uses the assignment operator; copy initialization does not.

Copy initialization always requires the 'new' keyword.

Direct initialization asks the compiler to find the best constructor; copy initialization requires the copy constructor.

There is no functional difference; they are just different syntax for the same call.

QUESTION 3

Assume 'numbered' has a synthesized copy constructor that copies a unique ID 'mysn'. What happens if you run: numbered a, b = a, c = b;?

Each object (a, b, c) will have a unique 'mysn' value.

The program will fail to compile because IDs cannot be copied.

All three objects will share the exact same 'mysn' value.

Object 'a' will be reset to zero after the copy.

QUESTION 4

Which of the following would trigger a compilation error if the constructor 'vector<int>(int size)' is marked 'explicit'?

vector<int> v(10);

vector<int> v = 10;

f(vector<int>(10));

vector<int>* p = new vector<int>(10);

QUESTION 5

What should a well-behaved copy-assignment operator usually return?

void

A copy of the current object by value.

A reference to the left-hand operand (*this).

The memory address of the right-hand operand.